Bitranslations and Symmetric Nets
نویسنده
چکیده
It is known that every class-regular symmetric μ,m -net is tactical. Also it is known that all μ,m nets with m 2 or μ 1 are tactical. In the work of Al-Kenani and Mavron 2003 , it is proved that every symmetric net with m 3 is tactical if and only if it is class regular. In this paper, we construct 2, 4 -net and show that it is class regular and therefore tactical. New necessary and sufficient conditions are given for a symmetric net to admit a nonidentity bitranslation.
منابع مشابه
Trading spaces: building three-dimensional nets from two-dimensional tilings.
We construct some examples of finite and infinite crystalline three-dimensional nets derived from symmetric reticulations of homogeneous two-dimensional spaces: elliptic (S (2)), Euclidean (E (2)) and hyperbolic (H (2)) space. Those reticulations are edges and vertices of simple spherical, planar and hyperbolic tilings. We show that various projections of the simplest symmetric tilings of those...
متن کاملHow to Calculate Symmetries of Petri nets
Symmetric net structure yields symmetric net behaviour. Thus, knowing the symmetries of a net, redundant calculations can be skipped. We present a framework for the calculation of symmetries for several net classes including place/transition nets, timed nets, stochastic nets, self{ modifying nets, nets with inhibitor arcs, and many others. Our approach allows the speciication of diierent symmet...
متن کاملCrocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag
The use of high-level nets, such as colored Petri nets, is very convenient for modeling complex systems in order to have a compact, readable and structured specification. Symmetric Nets with Bags (SNB) were introduced to cope with this goal without introducing a burden due to the underlying complexity of the state space. The structure of bags allows through exploitation of symmetries to provide...
متن کاملA Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example
Intelligent Transport Systems (ITS) tend to be more distributed and embedded. In many cases, continuous physical parameters are part of the systems description. Analysis techniques based on discrete models must integrate such constraints. In this paper, we propose a methodological way to handle such hybrid systems with model checking on Petri Nets and algebraic methods. Our methodology is based...
متن کاملAn Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures
We propose an event based semantics for contextual nets, i.e. an extension of Place/Transition Petri nets where transitions can also have context conditions, modelling resources that can be read without being consumed. The result is a generalization of Winskel’s work on safe nets: the event based semantics is given at categorical level via a chain of coreflections leading from the category WS-C...
متن کامل